package ast;

public class Some extends Expression {

	private Term t;
	
	public Some(Term trm)
	{
		t = trm;
	}
	
	public Term getTerm()
	{
		return t;
	}
	
	public String toString()
	{
		return "some(" + t + ")";
	}
	
}
